#include "types.h"
#include "defs.h"
#include "param.h"

// entry.S needs one stack per CPU.
__attribute__ ((aligned (16))) char stack0[4096 * NCPU];



void start()
{
	uart_init();
	uart_puts("hello OS");
}
